منابع مشابه
Ecole Normale Supérieure de Cachan 61 , avenue du Président Wilson 94235 Cachan Cedex France
Well-structured transition systems (WSTS's) are a general class of innnite state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved deenitions allow many examples of classical systems to be seen ...
متن کاملPodium for the opposition?
This is quite a paradoxical era. Scientific research is in its most productive phase and it continues to produce many beneficial technologies for mankind. For example, we rapidly progress towards a better understanding of many diseases and come up with multiple new approaches to cure them. At the same time, however, the voices against science and technology have never been more shrill. But unsu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Canadian Journal of Optometry
سال: 2012
ISSN: 0045-5075
DOI: 10.15353/cjo.74.563